121. Finite-state methods and natural language processing
پدیدآورنده: / Anssi Yli-Jyrea ... [et al.], (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Natural language processing (Computer science), Congresses,Formal methods (Computer science), Congresses,Grammar, Comparative and general, Morphology, Data processing, Congresses
رده :
QA76
.
9
.
N38F76
2010
122. Formal Aspects of Component Software
پدیدآورنده: \ [Edited by] Christiano Braga, Peter Csaba Ölveczky
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار مولفه‌ای -- کنگره ها
رده :
QA
76
.
9
.
F67
2016
E-Book
,
123. Formal Aspects of Component Software
پدیدآورنده: \ [edited by] Ivan Lanese, Eric Madelaine.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار مولفه‌ای -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
124. Formal Concept Analysis :
پدیدآورنده: Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
I58
2019eb
125. Formal Concept Analysis
پدیدآورنده: \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
126. Formal Grammar 2018 :
پدیدآورنده: Annie Foret, Greg Kobele, Sylvain Pogodalla (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational linguistics, Congresses.,Formal languages, Congresses.,Mathematical linguistics, Congresses.,Computational linguistics.,Formal languages.,Mathematical linguistics.
رده :
P98
.
I58
2018eb
127. Formal Methods
پدیدآورنده: \ [edited by] Christiano Braga, Narciso Marti-Oliet.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
.
F67
2015
E-Book
,
128. Formal Methods for Industrial Critical Systems
پدیدآورنده: \ Manuel Núñez , Matthias Güdemann (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
129. Formal Techniques for Distributed Objects, Components, and Systems
پدیدآورنده: \ Susanne Graf , Mahesh Viswanathan (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.,Computer network protocols -- Congresses.,داده‌پردازی -- پردازش توزبع شده -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها ,پروتکل‌های شبکه کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
D5F6
2015
E-Book
,
130. Formal Techniques for Safety-Critical Systems
پدیدآورنده: [edited by] Cyrille Artho, Peter Csaba Olveczky.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,System safety -- Congresses.,Systems engineering -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها,ایمنی سیستم‌ها -- کنگره ها ,مهندسی س‍ی‍س‍ت‍م ها -- گنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
131. Formal approaches to software testing :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Formal methods (Computer science) ; Congresses ; Computer software ; Testing ; Congresses ;
132. Formal approaches to software testing
پدیدآورنده: / Alexandre Petrenko, Andreas Ulrich (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Formal methods (Computer science)--Congresses,Computer software--Testing--Congresses
رده :
QA
,
76
.
9
,.
F67
,
F52
,
2003
133. Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
پدیدآورنده: Alexandre Petrenko, Andreas Ulrich )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Testing -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
2931
134. Formal approaches to software testing and runtime verification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Formal methods (Computer science) ; Congresses. ; Computer software ; Testing ; Congresses. ;
135. Formal approaches to software testing and runtime verification
پدیدآورنده: / Klaus Havelund ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Formal methods (Computer science)--Congresses,Computer software--Testing--Congresses,Software testing,Runtime verification,FATES,RV
رده :
QA
,
76
.
9
,.
F67
,
F524
,
2006
136. Formal approaches to software testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
پدیدآورنده: Jens Grabowski, Brian Nielsen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Testing -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
3395
137. Formal aspects in security and trust :
پدیدآورنده: Theo Dimitrakos ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer security, Congresses.,Formal methods (Computer science), Congresses.
138. Formal aspects in security and trust :
پدیدآورنده: Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer security, Congresses.,Formal methods (Computer science), Congresses.,Public key infrastructure (Computer security), Congresses.
139. Formal aspects of component software
پدیدآورنده: Luís Soares Barbosa, Markus Lumpe (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Component software, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
I585
2010eb
140. Formal aspects of component software :
پدیدآورنده: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
